A domain equation for refinement of partial systems
نویسندگان
چکیده
منابع مشابه
A domain equation for refinement of partial systems
A domain equation for refinement of partial systems MICHAEL R. A. HUTH†, RADHA JAGADEESAN‡ and DAVID A. SCHMIDT§ †Department of Computing, Imperial College London, South Kensington campus, London SW7 2AZ, England Email: [email protected] ‡School of Computer Science, Telecommunications, and Information Sciences, DePaul University, 243 S. Wabash Avenue, Chicago, Illinois 60604-2287 Email:...
متن کاملSolution Adapted Mesh Refinement and Sensitivity Analysis for Parabolic Partial Differential Equation Systems
We have developed a structured adaptive mesh refinement (SAMR) method for parabolic partial differential equation (PDE) systems. Solutions are calculated using the finite-difference or finite-volume method in space and backward differentiation formula (BDF) integration in time. The combination of SAMR in space and BDF in time is designed for problems where the fine-scale profile of sharp fronts...
متن کاملA Compact Scheme for a Partial Integro-Differential Equation with Weakly Singular Kernel
Compact finite difference scheme is applied for a partial integro-differential equation with a weakly singular kernel. The product trapezoidal method is applied for discretization of the integral term. The order of accuracy in space and time is , where . Stability and convergence in norm are discussed through energy method. Numerical examples are provided to confirm the theoretical prediction ...
متن کامل“ A Domain Equation for
Abramsky’s seminal article [3] is devoted to a detailed concurrency-theoretic application of the author’s “theory of domains in logical form” programme [4]. One of the main results in [3] is a logical characterization of the finitary bisimulation (cf. Theorem 5.8 on p. 191). (See [5] for a behavioural characterization of the finitary bisimulation.) More precisely, Abramsky shows that two proces...
متن کاملon the goursat problem for a linear partial differential equation
in this paper, the goursat problem of a general form for a linear partial differential equation is investigated with the help of the riemann function method. some results are given concerning the existence and uniqueness for the solution of the suggested problem.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2004
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129504004268